testcase TC_BEF_FE_BV_30() runs on EutComp system TestAdapter {
  var ChargeReport chargeReport1 : = null;
  var ChargeReport chargeReport2 : = null;
  f_Charging_Preambule ( );
  f_SendContextData ( m_ContextData_default_accountStatus_transactionCounter_mileage_requested );
  f_userActions ( cmdSet , distance_THR_UNIT );
  f_userActions ( cmdSet , reloadOldDistance_THR );
  f_userActions ( cmdSet , contract1 );
  t_ac . start;
  alt {
    [ ] pco . receive ( mw_chargeReport_tableC1_accountStatus_transactionCounter_mileage ( ok ) ) -> value chargeReport1 {
      t_ac . stop;
      label Step4;
      pco . send ( m_chargeReportResponse_transactionCounter_reloadAccount_reloadOldDistanceLimit ( chargeReport1 . transactionCounter + 1 , true ) );
      t_ac . start;
      alt {
        [ ] pco . receive ( mw_chargeReport_tableC1_accountStatus_transactionCounter_mileage ( AccountStatus : ? ) ) -> value chargeReport2 {
          t_ac . stop;
          if ( f_validate_AddToAccount_Transitions ( chargeReport1 . accountStatus , chargeReport2 . accountStatus ) = = false ) {
            setverdict ( fail );
          }
          else {
            if ( chargeReport2 . accountStatus = = ok ) {
              setverdict ( pass );
            }
            else {
              chargeReport1 . accountStatus : = chargeReport2 . accountStatus;
              goto Step4;
            }
          }
        }
      }
    }
  }
  f_Charging_Postambule ( );
}

Description

TC_BEF_FE_BV_30: Verify that DUT updates Account Status for distance based on-board accounts upon ReloadAccount operation

Remarks

[TS 17575-1], Clause 6.6.2 accountUpdate